Transformation exogène de Wright vers Ada
Identifieur interne : 001D32 ( Main/Exploration ); précédent : 001D31; suivant : 001D33Transformation exogène de Wright vers Ada
Auteurs : Mohamed Tahar Bhiri [Tunisie, France] ; Farah Fourati [Tunisie] ; Mourad Kmimech [Tunisie] ; Mohamed Graiet [Tunisie, France]Source :
- Technique et Science Informatiques [ 0752-4072 ] ; 2012.
Abstract
L’ADL formel Wright permet de décrire les aspects structuraux et comportementaux d’une architecture logicielle abstraite. Les aspects comportementaux sont décrits en CSP et vérifiés avec le model-checker FDR, alors que l’ADL Wright n’offre aucun moyen permettant de concrétiser de telles architectures abstraites. L’objectif de cet article est d’ouvrir l’ADL Wright sur Ada en suivant une approche d’automatisation de type IDM. Pour y parvenir, nous avons élaboré deux métamodèles : le métamodèle partiel Wright et le métamodèle partiel d’Ada. De plus, nous avons conçu, réalisé et testé l’outil Wright2Ada permettant de transformer une architecture logicielle décrite en Wright vers un programme concurrent en Ada. L’outil Wright2Ada utilise avec profit les langages IDM : Xtext, Check, ATL etXpand.
The formal ADL Wright allows to describe the structural and behavioral aspects of abstract software architecture. The behavioral aspects are described in CSP and checked using the model-checker FDR. While the ADL Wright does not offer any means to realize such architectures abstract. The objective of this work is to open up the ADL Wright for Ada through an automated approach based on MDE. To achieve this, we have developed two Ecore meta-models: the partial meta-model of Wright and the partial meta-model of Ada. Moreover, we have designed, built and tested our program Wright2Ada written in ATL to transform software architecture described in Wright to a concurrent program in Ada.
Url:
DOI: 10.3166/tsi.31.839-868
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000088
- to stream Istex, to step Curation: 000088
- to stream Istex, to step Checkpoint: 000321
- to stream Main, to step Merge: 001D51
- to stream Main, to step Curation: 001D32
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Transformation exogène de Wright vers Ada</title><author><name sortKey="Tahar Bhiri, Mohamed" sort="Tahar Bhiri, Mohamed" uniqKey="Tahar Bhiri M" first="Mohamed" last="Tahar Bhiri">Mohamed Tahar Bhiri</name></author><author><name sortKey="Fourati, Farah" sort="Fourati, Farah" uniqKey="Fourati F" first="Farah" last="Fourati">Farah Fourati</name></author><author><name sortKey="Kmimech, Mourad" sort="Kmimech, Mourad" uniqKey="Kmimech M" first="Mourad" last="Kmimech">Mourad Kmimech</name></author><author><name sortKey="Graiet, Mohamed" sort="Graiet, Mohamed" uniqKey="Graiet M" first="Mohamed" last="Graiet">Mohamed Graiet</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:046F803D6BEEADB2564379D9876FEEEA171DD7B7</idno><date when="2012" year="2012">2012</date><idno type="doi">10.3166/tsi.31.839-868</idno><idno type="url">https://api.istex.fr/ark:/67375/HT0-HL2SXQR5-Z/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000088</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000088</idno><idno type="wicri:Area/Istex/Curation">000088</idno><idno type="wicri:Area/Istex/Checkpoint">000321</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000321</idno><idno type="wicri:doubleKey">0752-4072:2012:Tahar Bhiri M:transformation:exogene:de</idno><idno type="wicri:Area/Main/Merge">001D51</idno><idno type="wicri:Area/Main/Curation">001D32</idno><idno type="wicri:Area/Main/Exploration">001D32</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="fr">Transformation exogène de Wright vers Ada</title><author><name sortKey="Tahar Bhiri, Mohamed" sort="Tahar Bhiri, Mohamed" uniqKey="Tahar Bhiri M" first="Mohamed" last="Tahar Bhiri">Mohamed Tahar Bhiri</name><affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country><wicri:regionArea>MIRACL, Faculté des Sciences de Sfax, Université de Sfax, Route de la Soukra km 3.5, B.P. n° 1171, 3000Sfax</wicri:regionArea><wicri:noRegion>3000Sfax</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Fourati, Farah" sort="Fourati, Farah" uniqKey="Fourati F" first="Farah" last="Fourati">Farah Fourati</name><affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country><wicri:regionArea>MIRACL, Faculté des Sciences de Sfax, Université de Sfax, Route de la Soukra km 3.5, B.P. n° 1171, 3000Sfax</wicri:regionArea><wicri:noRegion>3000Sfax</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">Tunisie</country></affiliation></author><author><name sortKey="Kmimech, Mourad" sort="Kmimech, Mourad" uniqKey="Kmimech M" first="Mourad" last="Kmimech">Mourad Kmimech</name><affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country><wicri:regionArea>Institut Supérieur d’informatique de Mahdia, Route de Rejiche, Km 4, BP-104, 5121Mahdia</wicri:regionArea><wicri:noRegion>5121Mahdia</wicri:noRegion></affiliation><affiliation></affiliation></author><author><name sortKey="Graiet, Mohamed" sort="Graiet, Mohamed" uniqKey="Graiet M" first="Mohamed" last="Graiet">Mohamed Graiet</name><affiliation wicri:level="1"><country xml:lang="fr">Tunisie</country><wicri:regionArea>Institut Supérieur d’informatique et de Mathématiques de Monastir, Avenue de la Korniche, BP n°-223, 5000Monastir</wicri:regionArea><wicri:noRegion>5000Monastir</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="j" type="main">Technique et Science Informatiques</title><title level="j" type="abbrev">Tech. Sci. Info.</title><idno type="ISSN">0752-4072</idno><idno type="eISSN">2116-5920</idno><imprint><publisher>Lavoisier</publisher><date type="published" when="2012-08">2012</date><biblScope unit="vol">31</biblScope><biblScope unit="issue">7</biblScope><biblScope unit="page" from="839">839</biblScope><biblScope unit="page" to="868">868</biblScope><biblScope unit="page-count">30</biblScope><biblScope unit="ref-count">0</biblScope><biblScope unit="fig-count">0</biblScope><biblScope unit="table-count">0</biblScope></imprint><idno type="ISSN">0752-4072</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0752-4072</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">L’ADL formel Wright permet de décrire les aspects structuraux et comportementaux d’une architecture logicielle abstraite. Les aspects comportementaux sont décrits en CSP et vérifiés avec le model-checker FDR, alors que l’ADL Wright n’offre aucun moyen permettant de concrétiser de telles architectures abstraites. L’objectif de cet article est d’ouvrir l’ADL Wright sur Ada en suivant une approche d’automatisation de type IDM. Pour y parvenir, nous avons élaboré deux métamodèles : le métamodèle partiel Wright et le métamodèle partiel d’Ada. De plus, nous avons conçu, réalisé et testé l’outil Wright2Ada permettant de transformer une architecture logicielle décrite en Wright vers un programme concurrent en Ada. L’outil Wright2Ada utilise avec profit les langages IDM : Xtext, Check, ATL etXpand.</div><div type="abstract" xml:lang="en">The formal ADL Wright allows to describe the structural and behavioral aspects of abstract software architecture. The behavioral aspects are described in CSP and checked using the model-checker FDR. While the ADL Wright does not offer any means to realize such architectures abstract. The objective of this work is to open up the ADL Wright for Ada through an automated approach based on MDE. To achieve this, we have developed two Ecore meta-models: the partial meta-model of Wright and the partial meta-model of Ada. Moreover, we have designed, built and tested our program Wright2Ada written in ATL to transform software architecture described in Wright to a concurrent program in Ada.</div></front></TEI><affiliations><list><country><li>France</li><li>Tunisie</li></country></list><tree><country name="Tunisie"><noRegion><name sortKey="Tahar Bhiri, Mohamed" sort="Tahar Bhiri, Mohamed" uniqKey="Tahar Bhiri M" first="Mohamed" last="Tahar Bhiri">Mohamed Tahar Bhiri</name></noRegion><name sortKey="Fourati, Farah" sort="Fourati, Farah" uniqKey="Fourati F" first="Farah" last="Fourati">Farah Fourati</name><name sortKey="Fourati, Farah" sort="Fourati, Farah" uniqKey="Fourati F" first="Farah" last="Fourati">Farah Fourati</name><name sortKey="Graiet, Mohamed" sort="Graiet, Mohamed" uniqKey="Graiet M" first="Mohamed" last="Graiet">Mohamed Graiet</name><name sortKey="Kmimech, Mourad" sort="Kmimech, Mourad" uniqKey="Kmimech M" first="Mourad" last="Kmimech">Mourad Kmimech</name></country><country name="France"><noRegion><name sortKey="Tahar Bhiri, Mohamed" sort="Tahar Bhiri, Mohamed" uniqKey="Tahar Bhiri M" first="Mohamed" last="Tahar Bhiri">Mohamed Tahar Bhiri</name></noRegion><name sortKey="Graiet, Mohamed" sort="Graiet, Mohamed" uniqKey="Graiet M" first="Mohamed" last="Graiet">Mohamed Graiet</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001D32 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001D32 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:046F803D6BEEADB2564379D9876FEEEA171DD7B7
|texte= Transformation exogène de Wright vers Ada
}}
| This area was generated with Dilib version V0.6.33. |  |